Blar i HVL Open på forfatter "Liu, Zhiming"
-
Methods and Tool Support for Refinement, Model Transformation and Verification of Network Systems
Liu, Zhiming; Stolz, Volker (Others, 2019)This compendium contains the lecture notes used in the “BeChong” meetings held as part of the SIU-funded bilateral project “Methods and Tool Support for Re nement, Model Transformation and Veri cation of Network Systems” ...